Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
171	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
172	Journal of Artificial Intelligence Research–442 Submitted 07/08; publishedSolving #S AT and Bayesian Inference with Backtracking Search Fahiem Bacchus Add to Reading List Source URL: jair.org Language: English - Date: 2009-03-28 16:44:23 Mathematics Backtracking DPLL algorithm Bayesian network Tree decomposition Constraint optimization Algorithm Decomposition method Local consistency Constraint programming Declarative programming Graph theory
173	The Design of E SSENCE: A Constraint Language for Specifying Combinatorial Problems Alan M. Frisch1 Matthew Grum1 Bernadette Mart´ınez Hern´andez1 1 Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2008-04-29 12:08:04 Computer programming Constraint satisfaction Constraint logic programming ECLiPSe Type system Data type Mathematical optimization Function Decomposition method Constraint programming Declarative programming Software engineering
174	Babelsberg: Specifying and Solving Constraints on Object Behavior Tim Felgentreff, Alan Borning, Robert Hirschfeld Technische Berichte Nr. 81 Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:17 Computer programming Computing Declarative programming Constraint satisfaction University of Potsdam Constraint Constraint programming Software engineering Programming paradigms
175	Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller Arnaud Spiwack Add to Reading List Source URL: www.univ-orleans.fr Language: English - Date: 2008-06-26 18:25:04 Type theory Functional programming Data types Control flow Functional languages Eval Monad Type system Generalized algebraic data type Software engineering Computing Declarative programming
176	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Programming paradigms Declarative programming Alloy SQL Imperative programming C Programming language Abstraction Constraint satisfaction Computing Software engineering Computer programming
177	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-05-11 10:19:44 Declarative programming Combinatory logic Fixed-point combinator Continuation-passing style Monad Galois connection Calculus Continuation Theoretical computer science Lambda calculus Software engineering
178	PDF Document Add to Reading List Source URL: www.hpi.uni-potsdam.de Language: English - Date: 2015-05-08 07:57:18 Computing Constraint satisfaction Constraint logic programming Kaleidoscope Cassowary Mathematical optimization Declarative programming Quadratic programming Constraint inference Constraint programming Software engineering Computer programming
179	 7  -      Add to Reading List Source URL: hop.perl.plover.com Language: English - Date: 2008-12-09 12:52:19 Functional programming Functions and mappings Lambda calculus Subroutines Higher-order functions Currying Function Anonymous function Derivative Software engineering Declarative programming Mathematics
180	MD/DSL Best Practices Update March 2011 Version 2.0, April, 2011 Markus Völter () Add to Reading List Source URL: www.voelter.de Language: English* - Date: 2014-06-21 13:19:46 Data modeling Computing UML tool Papyrus Programming language Declarative programming Entity-relationship model Conceptual model Modeling language Software engineering Unified Modeling Language Domain-specific language

UPDATE